- 双语例句 更多例句
1、
Studying the Relationship Between GAMMA and UNITY Model Based on Axiomatic Semantics
从公理语义看UNITY模型和GAMMA模型的关系
互联网摘选
2、
关于公理语义，目前没有见到讨论continue，break，return等的语句的公理化方面的文章，主要原因是这些语句涉及到控制转移问题，用逻辑公式不易描述。
互联网摘选
3、
为了说明本文提出的公理语义方案具有一般性，也给出了具有异常处理机制条件下，if语句，while语句，和块等语句的公理语义。
互联网摘选
4、
本文以Java语言为背景，重点讨论了类的继承和多态性的公理语义，同时也给出了必要的及相关的语言成分的公理语义。
互联网摘选
- 相关词组
- fault semantics[计]故障语义学;
- logic semantics[计]逻辑语义学;
- language semantics[计]语言语义学;
- general semantics普通语义;
- formal semantics形式语义学[程序];
- semantics of data[计] 数据语义学;
- program semantics程序语义学;
- query semantics[计]查询语义学;
- verb semantics动词语义学;
- axiomatic approach公理方法，公理探索;
- body semantics体态语义学；手势语义学;
- world semantics[计] 世界语义学;
- tree semantics[计]树状语义学;
- data semantics[计]数据语义学;
- trace semantics[计]轨迹语义学;
- fixpoint semantics[计]定点语义学;
- abstract semantics[计]抽象语义学;
- final semantics[计]最终语义学;
- dynamic semantics[计]动态语义学;
- lexical semantics词汇语义学;
- 今日热词
- 热门搜索
- come back to me 回到我身边（歌名）;
- minesweeper n.扫雷舰;扫雷;扫雷艇;踩地雷;扫雷器
- suppl [医]供给，输送，电源;
- 压缩 compress; reduce; condense; zip; encapsulate; capsule; cut down; zip up; narrow down
- deer n.鹿;
- someone you loved 你爱的人
- academic adj.学院的，大学的，学会的，（学术，文艺）协会的;学究的，学理上的，空谈的，非实用的;〈美〉文科的，文学的;柏拉图学派的;n.学者;大学教师，大学生，学会会员;纸上空论，空论;[A-]柏拉图哲学信奉者;
- shame n.羞耻，惭愧;耻辱;让人遗憾的事;v.使羞愧/惭愧;使丢脸;
- ELISA 酶联免疫吸附测定;
- revision n.修订，修改;修订本;校对;复审，上诉;
- Rolex n.劳力士手表（瑞士手表品牌）;劳力士;
- vogue n.时尚，流行;时髦的事物;时髦;风尚;风行adj.时髦的
